<body>
        <script>
                console.log('Hi!');
                console.info('Bye, %d!', 42);
	</script>
</body>
